Science Blockchain ICO and Incubator SUMMARY SEPTEMBER 2017

Source URL: s3-us-west-2.amazonaws.com

• Cryptocurrencies
• Blockchains
• Alternative currencies
• Ethereum
• Distributed computing
• Concurrent computing
• Money
• Michael Jones
• Myspace
• ERC-20
• EOS.IO
• Kin

First Time Voters Mailing this Application If you are 1) registering to vote for the first time in the State of Hawaii; 2) mailing this application; and 3) do not have a HI Driver License, HI State ID, or last 4-digits o

Source URL: elections.hawaii.gov

• Elections
• Voting
• Politics
• Elections in the United States
• Absentee ballot
• Voter registration
• Postal voting
• National Voter Registration Act
• Electronic voting
• Voter database
• Voter registration in the United States
• U.S. Vote Foundation

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term

Boosting the BGP Convergence in SDXes in SWIFT Philipp Mao, Rüdiger Birkner, Thomas Holterbach, Laurent Vanbever ETH Zürich 1. Motivation 2. SWIFT in a nutshell

Source URL: swift.ethz.ch

• Computing
• Information and communications technology
• Internet Standards
• Computer networks
• Cryptographic protocols
• Internet protocols
• Internet architecture
• Border Gateway Protocol
• AS3
• AS2
• AS4
• Society for Worldwide Interbank Financial Telecommunication

Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction

Source URL: uclmr.github.io

• Machine learning
• Training
• test
• and validation sets
• Validity
• Probability distribution
• Artificial intelligence
• Cognition
• Cognitive science
• Computational neuroscience

Column Parity Mixers Ko Stoffelen1∗ and Joan Daemen1,2 1 Digital Security Group, Radboud University, Nijmegen, The Netherlands 2

Source URL: ko.stoffelen.nl

• Algebra
• Mathematics
• Linear algebra
• Matrices
• Matrix theory
• Abstract algebra
• Coding theory
• Trace
• Circulant matrix
• Square matrix
• Matrix
• Row and column spaces

A Demonstration of the Solid Platform for Social Web Applications Essam Mansour1 Andrei Vlad Sambra2 Sandro Hawke2 Maged Zereba1 Sarven Capadisli2 Abdurrahman Ghanem1 Ashraf Aboulnaga1 Tim Berners-Lee2 1 2

Source URL: gdac.uqam.ca

• Computing
• Semantic Web
• Data management
• Data
• WebID
• Resource Description Framework
• Linked Data Platform
• SPARQL
• Solid
• Single sign-on
• Clientserver model
• Triplestore

CA P I TOL E X T ENSION - E 2 ( U N D ERGRO U N D) STAIRS TO LEVEL E1

Source URL: www.texasbookfestival.org

Herpetological Conservation and Biology 13(2):423–432. Submitted: 9 May 2018; Accepted: 3 July 2018; Published: 31 AugustA New, Noninvasive Method of Batch-Marking Amphibians Across Developmental Stages A. Z. An

Source URL: www.herpconbio.org

• Chemistry
• Organic chemistry
• Fluorone dyes
• Amines
• Calcein
• Lactones
• Zoology
• Amphibian
• Frog
• Larva
• Metamorphosis
• Fish physiology

EECS 388 Intro to Computer Security September 30, 2016 Project 2: Web Security

Source URL: www.eecs.umich.edu

• Computing
• Software engineering
• Computer security
• Hacking
• Cross-site scripting
• Cross-site request forgery
• Security
• JavaScript
• SQL injection
• HTTP cookie
• Code injection
• World Wide Web